Searching for mathematics